<HTML><HEAD><TITLE>library(notinstance)</TITLE></HEAD><BODY>
[ <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]<H1>library(notinstance)</H1>
Constraints for structural equality and subsumption
<H2>Predicates</H2>
<BLOCKQUOTE>
<DL>
<DT><A HREF="TE-2.html"><STRONG>X ~= Y</STRONG></A></DT>
<DD>Constrains X and Y to be different</DD>
<DT><A HREF="TEL-2.html"><STRONG>X ~=< Y</STRONG></A></DT>
<DD>Constrain X not to be an instance of Y</DD>
</DL>
</BLOCKQUOTE>
<H2>Other Exports</H2>
<BLOCKQUOTE><DL>
<DT><STRONG>export op(700, xfx, ~=<)</STRONG></DT><DD></DD>
</DL></BLOCKQUOTE>
<H2>About</H2><UL COMPACT>
<LI><STRONG>Author: </STRONG>Joachim Schimpf, ECRC Munich
<LI><STRONG>Copyright &copy; </STRONG>Cisco Systems, Inc
<LI><STRONG>Date: </STRONG>$Date: 2009/03/13 06:26:54 $
</UL>
<HR>Generated from notinstance.eci on 2009-05-27 01:25
</BODY></HTML>
